exhausted reader
/avail/Avail/Data Abstractions/Iterators/Exhausted Readers:
exhausted reader
Source
: /avail/Avail/Data Abstractions/Iterators/Exhausted Readers
Categories:
Data Abstractions, Readers
Supertypes:
iterator
An exhausted reader has ⊥ as its element type.